Issue998c.agda:5,9-10
A !=< Issue998c.A of type Set
when checking that the expression a has type A
